- постулат математической индукции
- postulate of mathematical induction мат.
Русско-английский научно-технический словарь Масловского. 2015.
постулат математической индукции
Look at other dictionaries:
аксиоматический метод — АКСИОМАТИЧЕСКИЙ МЕТОД (от греч. axioma) принятое положение способ построения научной теории, при котором в доказательствах пользуются лишь аксиомами, постулатами и ранее выведенными из них утверждениями. Впервые ярко продемонстрирован… … Энциклопедия эпистемологии и философии науки
Леви бен Гершом — Леви бен Гершом לוי בן גרשום Дата рождения: 1288 год(1288) Место рождения: Баньоль сюр Сез, Франция Дата смерти: 20 апреля … Википедия
КРУГ В ДОКАЗАТЕЛЬСТВЕ — (лат. circulus in demonstrando) – логич. ошибка, состоящая в том, что доказываемый тезис обосновывается с использованием в данном доказательстве самого же этого тезиса в качестве одного из его оснований; разновидность ошибки недоказанного… … Философская энциклопедия
ТОЖДЕСТВА ПРОБЛЕМЫ — проблемы эквивалентности, проблемы иден тичности, проблемы равенства с л о в (англ. word problems) – задачи нахождения общего метода (алгоритма), позволяющего для произвольной пары элементов к. л. множества, в к ром определено отношение типа… … Философская энциклопедия
Ньютон Исаак — Система мира, методология и философия в творчестве Исаака Ньютона Философское значение творчества Ньютона Галилей умер 8 января 1642 г. В том же 1642 г. на Рождество, в Вулсторпе, в окрестностях деревни Колстерворт, Линкольншир, родился Исаак … Западная философия от истоков до наших дней
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Уравнения Максвелла — Классическая электродинамика … Википедия
Система логики силлогистической и индуктивной — «СИСТЕМА ЛОГИКИ СИЛЛОГИСТИЧЕСКОЙ И ИНДУКТИВНОЙ» («A System of Logic Rationative and Inductive») книга Джона Стюарта Милля. Была опубликована в Лондоне в 1843. В России вышло несколько ее переводов. Данная работа является уникальным… … Энциклопедия эпистемологии и философии науки
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
Аксиома — В Викисловаре есть статья «аксиома» Аксиома (др. греч … Википедия
